Game semantics - PDFSEARCH.IO - Document Search Engine

Game semantics
Results: 71

#	Item
61	Game semantics for programs Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-02-20 07:30:38 Theoretical computer science Logic Logic in computer science Determinacy Denotational semantics Soundness Proof theory Deduction Mathematical logic
62	RESUME: Prof. Emeritus NISSIM FRANCEZ Former holder of Bank-Leumi chair in computer science May 12, 2014 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-05-12 04:09:39 Logic in computer science Quantification Formal sciences Donkey pronoun Pronouns Logic programming Semantics of programming languages Game semantics Amir Pnueli Mathematics Logic Theoretical computer science
63	Curriculum vitae of Jan van Eijck Name Jan van Eijck, initials D.J.N. (Dingeman Johannes Norbertus), born 6 September 1951 in The Netherlands. Nationality: Dutch Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-12-12 15:15:35 Semantics Game theory Computational semantics Natural language processing Johan van Benthem Institute for Logic Language and Computation Social software Maarten de Rijke University of Groningen Science Academia Logic
64	Programs and Strategies Guy McCusker Logic and Interaction[removed] Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-02-19 16:55:29 Logic in computer science Mathematical logic Strategy Game semantics Structure Semantics Denotational semantics Game theory Logic Mathematics
65	Socially Responsive, Environmentally Friendly Logic Samson Abramsky Oxford University Computing Laboratory Abstract We consider the following questions: What kind of logic has a natural semantics in Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:33:53 Semantics Formal languages Predicate logic Independence-friendly logic Game semantics Interpretation First-order logic Model theory Entailment Logic Philosophical logic Metalogic
66	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
67	Gabriel Sandu Professor of theoretical philosophy, Department of Philosophy, University of Helsinki Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2009-11-02 04:16:06 Analytic philosophy Philosophy Jaakko Hintikka Norwegian Academy of Science and Letters Philosophical logic University of Paris 1 Pantheon-Sorbonne University of Helsinki Game semantics Independence-friendly logic Logic Analytic philosophers Logicians
68	Feature Learning Using State Differences Mesut Kirci and Jonathan Schaeffer and Nathan Sturtevant Department of Computing Science Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2011-03-10 14:38:14 Artificial intelligence Game theory Search algorithms Predicate Semantics Game Description Language Minimax Ply Game tree Game artificial intelligence Mathematics Games
69	Verbosity: A Game for Collecting Common-Sense Facts Luis von Ahn, Mihir Kedia and Manuel Blum Computer Science Department, Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2006-01-05 15:41:35 Science Lexical semantics Word games ESP game Mindpixel Cyc Go Fact Common sense Linguistics Games Semantics
70	LOGIC BIBLIOGRAPHY up to 2008 by Add to Reading List Source URL: www.phil-fak.uni-duesseldorf.de Language: English - Date: 2008-02-26 08:06:24 Philosophical logic Analytic philosophers Non-classical logic Philosophers of mathematics Game semantics Many-valued logic Informal logic Alfred Tarski Paraconsistent logic Logic Mathematical logic Philosophy

UPDATE